BU Computer Science 1998 Proxy Trace: Release Notes
نویسنده
چکیده
In a recent paper [1], we performed a variety of analyses upon user traces collected in the Boston University Computer Science department in 1995 and 1998. A sanitized version of the 1995 trace has been publicly available for some time; the 1998 trace has now been sanitized, and is available from: http://www.cs.bu.edu/techreports/1999-011-usertrace-98.gz ftp://ftp.cs.bu.edu/techreports/1999-011-usertrace-98.gz This memo discusses the format of the released version of the log, and includes additional discussion of how the data was collected, how the log was sanitized, what this log is and is not useful for, and areas of future research interest. This work was partially supported by NSF research grants CCR-9706685 and CCR-9501822, and by Microsoft Research and Hewlett-Packard Laboratories.
منابع مشابه
Alternating Re nement Relations ? ? ?
Alternating transition systems are a general model for composite systems which allows the study of collaborative as well as adversarial relationships between individual system components. Unlike in labeled transition systems, where each transition corresponds to a possible step of the system (which may involve some or all components), in alternating transition systems, each transition correspon...
متن کاملPerformance Evaluation of Web Proxy Cache Replacement Policies
The continued growth of the World-Wide Web and the emergence of new end-user technologies such as cable modems necessitate the use of proxy caches to reduce latency, network traffic and Web server loads. In this paper we analyze the importance of different Web proxy workload characteristics in making good cache replacement decisions. We evaluate workload characteristics such as object size, rec...
متن کاملEvidence of the Potential Shift Mechanism in Crevice Corrosion (RESEARCH NOTES)
Previous research has indicated a qualitative resemblance between the current distribution along actively corroding crevice walls and currents measured in corresponding anodic polarization plots. Using detailed measurements of the potential gradient along the crevice, a semi-quantitative current distribution was calculated for the crevice wall using a double numerical differentiation method. Th...
متن کاملUbiquitous Abstraction: A New Approach for Mechanized Formal Verification
ion. Submitted for publication, Sept. 1998. Available at http://www.csl.sri.com/ ̃singermn/ integration.html.[8] H. Saı̈di and S. Graf. Construction of abstract state graphs with PVS. In O. Grumberg, editor, Computer-Aided Verification, CAV ’97, volume 1254 of Lecture Notes in Computer Science, pages 72–83, Haifa, Israel, June 1997. Springer-
متن کاملPiggyback Server Invalidation for Proxy Cache Coherency
We present a piggyback server invalidation (PSI) mechanism for maintaining stronger cache coherency in Web proxy caches while reducing overall costs. The basic idea is for servers to piggyback on a reply to a proxy client, the list of resources that have changed since the last access by the client. The proxy client invalidates cached entries on the list and can extend the lifetime of entries no...
متن کامل